Constructible function - PDFSEARCH.IO - Document Search Engine

Constructible function
Results: 268

#	Item
201	A COMPLEXITY THEORY OF CONSTRUCTIBLE FUNCTIONS AND SHEAVES SAUGATA BASU Abstract. In this paper we introduce analogues of the discrete complexity classes VP and VNP of sequences of functions in the Blum-Shub-Smale model. Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2013-10-06 09:48:25 Algebraic topology Structural complexity theory Field theory Time hierarchy theorem Constructible sheaf Algebraic geometry Sheaf Constructible function Constructible universe Abstract algebra Mathematics Algebra
202	Consistency versus Realizable H-Consistency for Multiclass Classification Philip M. Long Microsoft, 1020 Enterprise Way, Sunnyvale, CA[removed]removed] Add to Reading List Source URL: www.phillong.info Language: English - Date: 2013-08-07 12:09:54 Functions and mappings Functional analysis Fourier analysis Constructible universe Continuous function Normal distribution Vector space Convolution Function Mathematics Mathematical analysis Algebra
203	(July 2, [removed]Distributions supported on hyperplanes Paul Garrett [removed] http://www.math.umn.edu/egarrett/ [This document is http://www.math.umn.edu/˜garrett/m/fun/notes[removed]09c distns on subs.pdf] Add to Reading List Source URL: www.math.umn.edu Language: English - Date: 2013-07-02 12:03:34 Distribution Dirac delta function Constructible universe Spectral theory of ordinary differential equations Closed and exact differential forms Mathematical analysis Generalized functions Functional analysis
204	SEMI-MONOTONE SETS arXiv:1004.5047v2 [math.LO] 19 Jul 2011 SAUGATA BASU, ANDREI GABRIELOV, AND NICOLAI VOROBJOV Abstract. A coordinate cone in Rn is an intersection of some coordinate hyperplanes and open coordinate hal Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2011-07-21 08:44:11 Topology Algebraic topology Sheaf Topological property Monotonic function FO Constructible universe Mathematics Mathematical analysis Order theory
205	Copyrighted Material 1 Finite Fields and Function Fields Add to Reading List Source URL: press.princeton.edu Language: English - Date: 2009-10-21 18:00:05 Finite field Galois group Field extension Minimal polynomial Constructible universe Field Abstract algebra Field theory Algebra
206	The Reflection Theorem: A Study in Meta-Theoretic Reasoning Lawrence C. Paulson University of Cambridge, Computer Laboratory, JJ Thomson Avenue, Cambridge CB3 0FD, UK, [removed] Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-10-29 08:25:04 Ordinal numbers Constructible universe Axiom schema of replacement Absoluteness Zermelo–Fraenkel set theory Normal function Forcing Boolean-valued model Mathematical logic Mathematics Set theory
207	Constructible Lawrence C Paulson September 24, 2003 Contents 1 First-Order Formulas and the Definition of the Class L Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-10-14 06:49:59 Absoluteness Transitive set Constructible universe Well-formed formula Logical connective FO Function Logic Mathematics Mathematical logic
208	Set Theory for Veriﬁcation: II Induction and Recursion Lawrence C. Paulson Computer Laboratory, University of Cambridge April 1995 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-04-29 07:49:52 Theory of computation Functions and mappings Order theory Models of computation Knaster–Tarski theorem Function Well-founded relation Lambda calculus Constructible universe Mathematics Mathematical logic Computability theory
209	A Possibilistic Extension of Description Logics Guilin Qi1 , Jeff Z. Pan2 , and Qiu Ji1 1 2 Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Mathematics Possibility theory Interpretation Modal logic Description logic Constructible universe Fuzzy logic Function Probabilistic logic Logic Mathematical logic Non-classical logic
210	Generalized tabular reducibilities in infinite levels of the Ershov difference hierarchy. Add to Reading List Source URL: www.ims.nus.edu.sg Language: English - Date: 2010-01-12 23:03:19 Theory of computation Theoretical computer science Functions and mappings Constructible universe Proof theory Computable function Ordinal number Function Linear temporal logic Mathematics Mathematical logic Computability theory

UPDATE